Most cruise lines encourage this, but MSC specifically says it “does not recommend tipping individual members of staff.” Even so, there is a difference between “not recommending” something and banning it. If you decide you want to slip some extra cash to a crew member, it will likely be appreciated.