Probability/neighborhood completeness