A completeness result for a realisability semantics for an intersection type system