연방 인신보호영장절차상 청구인은 주법상 허용되는 구제절차를 모두 경유했음을 입증해야 하지만 허용되는 주법상의 구제절차가 부재함을 입증하는 경우에는 청구인의 절차상 요건 충족에 대한 예외가 인정된다. 
셋째, 연방 인신보호영장제도상의 보충성 요건(exhaustion requirement; exhaustion of state remedies)에 관하여 보면, 연방 인신보호영장절차상 인신보호영장을 청구하는 청구인(피구속자)은 인신보호영장절차에서의 절차적 요건으로서 주법(州法)상 허용되는 구제절차를 모두 경유했음을 입증할 책임을 진다. 이러한 요건을 충족하기 위해서는 청구인은 (ㄱ)당해 인신보호영장절차에서 다투려는 연방법상의 쟁점이 주(州)사법절차에서의 최고법원에서 주장되었으며(presentation requirement), 또한 (ㄴ)그러한 연방법상의 쟁점의 각각이 모두 주(州)사법절차상의 최고 법원에서 주장되었음을(total exhaustion requirement) 보여야 한다. 단, 허용되는 주법(州法)상의 구제절차가 부재함을 입증하는 경우에는, 연방법상의 쟁점이 주(州)사법절차상의 최고법원에서 주장되지 않은 경우에도 이러한 요건에 대한 예외를 인정한다(futility doctrine).