For purposes of this chapter, normal retirement date is the earliest first day of the month on or after the earliest of the date the employee:
For purposes of determining the normal retirement date, credited service does not include unused accumulated annual or sick leave. The normal retirement date shall be the date the employee's retirement benefit begins if the employee has ceased to be an employee on that date and the retirement benefit has not already begun. Unless otherwise provided in this plan, a participant's retirement benefits shall begin on the participant's normal retirement date if the participant has had a severance from employment on that date.
SDCL 3-13C-8