Refutation in first order logic
This looks like a typo in your source, and your derivation looks correct. So the corrected statement should be:


  $S \models  S' \iff S \land \neg S'$ is unsatisfiable


or


  $S \models  S' \iff {\boldsymbol \neg} (S \land \neg S')$ is satisfiable