Service is included in all the Disney restaurants so tipping is not required plus the staff are paid a half decent wage.
If service has been exceptional I may add a couple of Euros this tends to be in the hotel bar as we sit and play cards & the servers are usually very helpful & friendly to us.
I have to say I find it much easier this way then when in the USA and they expect a tip even though the service has been poor.