I believe they need to give her a separation notice.
An interesting situation. Effectively no job but they will not terminate her. So she is still an employee. If they do not separate her then they do not have to pay for earned benefits like unused paid time off. They also can’t call her a disgruntled former employee should she complain about it. If they finish the termination they must pay those benefits immediately, else a labor law violation.