Some finiteness results concerning separation in graphs