He must have officially left the position, an announcement of a date to depart/resign does not resolve the market yes.

All times in eastern time

Out means, cessation of holding the role, including resignation, retirement, removal, expulsion, expiration of term without renewal, recall, or other means by which the individual no longer occupies the role—this includes both voluntary and involuntary early departure