Is a state prisoner procedurally defaulted to federal habeas review?

^4. A state prisoner procedurally defaults federal claims if he fails to raise them as federal claims in state court or if, in raising the claims, he fails to comply with applicable state procedural rules. Coleman v. Thompson, 501 U.S. 722, 730-31 (1991). The state can successfully assert a procedural default defense to federal habeas review unless the prisoner can show both "cause" for the procedural default and actual prejudice, or the prisoner demonstrates that failure to consider the claims will result in a fundamental miscarriage of justice. Id. at 750.