Why are you assuming they didn’t tip? Most of the time when I pay the bill with a credit card, as they did here, I don’t put the tip on the card but rather leave cash for the server primarily if it could be considered a tax deductible business dinner.