Tipping vs 10% service fee

I have been told the service fee is the tip- so if that is included there is no need or expectation to tip further. But my server told me that isn’t true and it is a house fee that doesn’t go to the servers.

Which is it?