Usually (that means in years past) every full service restaurant has a menu selection for the given holiday (Thanksgiving or Christmas) and most buffets add selections reflecting the holiday to their usual offerings.
To be certain, you can phone WDW DINE and ask about the menu on Christmas at both places.