Credit card tips by payment type

Hi guys,

referring to the guide Credit Card Tip

I noticed then when I reopen the ticket the Tax charged e.g 15% is also charged on the Tip amount. Is that normal?