That's interesting because that's the opposite of what I do here. I always put the tip down in cash even if I've paid for the meal on card just so that the tip doesn't go through the system and then - as I've always presumed - becomes taxable.
It's always taxable; a lot of (all?) waiters don't pay it.