Hm. Tipping is not a charge, is a gratuity- which means that its amount and even whether you give it or not is up to you. You can decide to tip 20% before taxes or 16% after taxes- it's exactly the same. It all depends how much you want to risk being seen as stingy by the waiter in front of you.