Service Charge is something different than tipping and you will see it on the menu outsite the restaurant. Its European law. Im from holland and as far as I know most of us never tip.
I cruise for many years now, and pay not more than $30,- (7day cruise) Tip for twoo of us. Its something personal !!