Usually a contract will include a section marked 'particulars of sale'. In there, the wording will usually be something like;
So, there needs to be a proper lease in place (with the details recorded on the contract), otherwise your friend is contractually entitled to vacant possession upon...