Tightness

A semantics $\sigma$ satisfies Tightness iff every $\sigma(F)$ is tight: for every extension $E$ and every argument $a$ occurring in some extension, if $E \cup \{a\} \notin \sigma(F)$ then some $b \in E$ never occurs together with $a$ in an extension.