It's not uncommon to leave an envelop for your room maid, tip a particular waiter/receptionist who offered great servive on your last night in hotel , or just leave an envelop for the whole staff by reception desk or with the manager. It's not obligatory or a must either.