I will introduce the notion of a noncommutative topological boundary for a C*-dynamical system. This is a natural generalization of the notion of a topological boundary for a group introduced by Furstenberg. A C*-dynamical system is said to have the ideal separation property if the ideals of the corresponding reduced crossed product can be described in terms of the G-invariant ideals of the underlying C*-algebra. For commutative C*-dynamical systems, a characterization of the ideal separation property was recently obtained by Kawabe. I will discuss a characterization of the ideal separation property for arbitrary C*-dynamical systems in terms of noncommutative boundaries. This is joint work with Christopher Schafhauser.