Often during the Christmas season the table service restaurants (and some buffets) will have an additional menu (or choices) that represents a "holiday" selection. So, be sure to ask about that when making an ADR.
Also, be aware that during this time the prices are raised, at least for buffets. Not sure why WDW finds this necessary, as there are more people at WDW during this time of year than any other (so it's not like they are going to risk losing money on unsold food... ) but they do.
We have no special for the holidays restaurant any longer. We used to, but with all the changes to the quality of food and service at WDW, we save our holiday dining for offsite for the most part.