data di decorrenza pensione

Salve
per la prima volta nella mia carriera mi trovo a dover gestire il collocamento a riposo di un dipendente (CCNL Enti Locali). Con la pensione anticipata, i 42 anni e 10 mesi cadono il 1° gennaio 2018, che - se interpreto bene - sarà quindi il suo ultimo giorno lavorativo.
La mia domanda è infatti la seguente... posso considerarlo pensionato già dal 2 gennaio o devo attendere (e quindi "trattenere" in servizio) il primo giorno del mese successivo alla maturazione dei requisiti, e quindi il 1° febbraio 2018?

Grazie molte per l'attenzione