Its called a gratuity which assumingly (Ive heard) goes to the employee.
Not according to what they put on the receipt