If the players interact with each other the way they should, they'll do that for themselves. The soundman should be free to concentrate on the overall sound, and killing any microphone feedback.