Now Kawauchi claims that knotted surfaces in $S^4$ whose complement has cyclic fundamental group are smoothly trivial (i.e., bound a handlebody). See [Corollary 1.3][1]. [1]: https://arxiv.org/abs/1804.02654 Note: This paper currently has a gap and the unknotting conjecture is not yet settled.