I think you're jumping the gun by using a loaded term like stealing. It may be restaurant policy to allow servers that discretion.

Especially if that "discount" is appearing on the bill.