Marked cofinality for $\infty$-functors