Consider a poset $P$ and suppose that every finite subset admits a supremum. Call an ideal $I$ of $P$ minimal infinite if it is infinite and every ideal properly contained in $I$ is finite. I am interested in the following "compactness property": Every infinite ideal of $P$ contains a minimal infinite ideal.
Question: Has this property studied before? Are there posets arising in "mathematical nature" having this property?