No. You are not expected to tip when a compulsory service charge is placed on the bill - regardless of how the restaurant management divvies up the sum (if at all.) If I knew that the service charge was not passed on to the staff, I would not eat at the restaurant. If a waiter whined that they don't get a fair whack of the service charge and suggested I should add a little extra, I would tell him or her that if I believed an extra few bob was merited, I would have already given it to him or her. I'd also suggest that they look for work in a different restaurant.