You want to sell in spring, it’s December, so 4 months would be nice to have a tenant for. Do it by the book. Ask her for her one months notice, and say that he can apply to have a 3 months lease for when her notice runs outs, subject to standard checks. She gets her deposit back unless the place is damaged or she doesn’t want to pay the final months rent. He has to pay a new deposit.