The way I read it, their Residency Termination Date would be December 31st (resulting in a full year return) *UNLESS* you file the information for an earlier Residency Termination Date.
https://www.irs.gov/publications/p519#en_US_2018_publink1000222182