I would cut the leaves a few times, not chop them to bits. You will release more oils as Nurmey said. I would not make a tea. Cooking or even warming the mint will change the fresh flavor dramatically.
I think "Dry hopping" in the keg, or secondary, is the way to go. But chop it once or twice.
My real question is: Why are you making a chocolate mint beer???
